predicate function
英 [ˈpredɪkət ˈfʌŋkʃn]
美 [ˈpredɪkət ˈfʌŋkʃn]
网络 判定函数; 谓词函数; 谓语函数
双语例句
- As a slightly more sophisticated example, here is a query involving a spatial join, that is, a join where the join predicate is a spatial function.
作为一个稍微复杂些的示例，下面给出一个涉及空间联结（即其中的联结谓词是空间函数的联结）的查询。 - This sounds like a lot of conditions, but so far it is straightforward: using the column, the index can be found and the spatial predicate is known using the function.
这听起来好像有一大堆的条件，但还是比较简单的：通过使用列可以找到索引，通过使用函数可以知道空间谓词。 - In contrast to the previous queries, the following query adds a predicate on the message element using the contains() XQuery function.
与前面的查询相反，以下查询使用contains（）XQuery函数在message元素上添加一个谓词。 - The custom check function needs to return the type boost:: test_tools:: predicate_result.
定制检查函数需要返回boost：：testtools：：predicateresult类型。 - Notice that once again, we used a shorthand closure for the predicate function passed to the filter function.
请再次注意，我们为传递给filter函数的断言函数使用了一个简短的闭包。 - In the first query, the filtering predicate is expressed on the CHAR column "Zip" generated by the XMLTABLE function.
在第一个查询中，过滤谓词是在由XMLTABLE函数生成的CHAR列“Zip”上表达的。 - Here, filter takes the predicate, an anonymous function that implicitly returns a boolean ( the result of the startsWith() call) and calls the predicate with every element in the "args" array.
此处，filter接受谓词，这是一个隐式返回布尔值（startsWith（）调用的结果）的匿名函数，并使用args中的每个元素来调用谓词。 - As you are interested in returning the actual web page, you used a predicate on the http: send-request function that selects the second item in the returned sequence
由于您对返回实际的web页面感兴趣，所以在http：send-request函数上使用了一个谓词，用于选择所返回序列中的第二项 - The problem is that the predicate with the fn: upper-case() function prevents the use of XML indexes in DB2.
问题是如果使用包含fn：upper-case（）函数的谓词，就不会使用DB2中的XML索引。 - Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.
在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。 - The predicate function is called by the object itself to determine the right location, making this class easier to use than a normal LinkedList even in single-threaded scenarios.
这个predicate函数会被对象本身多次调用，用于确定合适的插入位置。这样，即使在单线程的情况下，它使用起来也比普通的LinkedList要方便一些。 - Each character of string in the predicate is processed with function minimization. Thus, ON-OFF test points of the predicate border are dynamically determined. Experimental results show that the approach is effective.
进而对谓词中变量的每一字符进行分支函数极小化，动态生成给定字符串谓词边界的ON－OFF测试点.实验表明：该方法是行之有效的。 - The author describes three basic meanings of "existence", the prerequisites to understand" existence "as a predicate and the basic semantic function of" existence "as a predicate.
作者指出存在的三个基本含义、理解存在作为谓词的前提条件以及存在作为谓词的基本作用。 - The constructions of predicate slice, input dependency set and the linear constraint of predicate function on the increments for the input are no longer needed.
因而不必计算所有谓词函数的线性算术表示，也不必计算谓词片和确定输入依赖集，以及构造谓词函数关于输入变量的增量的线性约束。 - Acts as the predicate is "X" most important, the most basic syntax function, but its verb overriding is weak, the statement is strong.
充当谓语是X化最重要、最基本的句法功能，但其动词支配性较弱，陈述性较强。 - In terms of the relationship between the syntactic position of the predicate and the stating function, we think that only nouns with the function of statement can be placed in the position of the predicates.
从谓语句法位置与表述功能的关系出发，我们认为具有陈述义的名词才可以进入谓语句法位置。 - The linear predicate function on a given path is directly used as linear arithmetic representation to construct linear constrains of predicate functions for input variables. Only if the predicate function is nonlinear, the linear arithmetic representation needs to be computed.
该算法将路径中的线性谓词函数直接作为线性算术表示来构造谓词函数关于输入变量的线性约束，仅当谓词函数是输入变量的非线性函数时，才计算其线性算术表示。 - By analyzing the tested program, this paper presents the balance force method of test data generation, according to an input of the program, decide to remove variable scope and variable in the predicate processed with function minimum, an example is given in this paper.
文章通过对被测试程序的分析，提出了生成测试数据的平衡力法，对任意的输入变量，判断变量移动范围及进行谓词中变量的函数极小化，得到测试数据，并给出了具体实现方法。 - Adopting the concept of distance and using length of numerical value interval to different predicate truths as norm, thereby the function of distance ratio and its special transformation are defined, and from this the individual truth grad function in one-dimensional is found.
采用距离概念，并以对应谓词真值的数值区域的长度为基准，定义了距离比率函数及距离比率的特殊变换，并由此建立了一维情形下个体真值程度函数。 - Both the adjective and the verb can be used as a predicate, that is to say, they have many similarities in terms of grammatical function.
因而两者都可以作谓词，在语法功能上也就有较多的叠合之处。 - Kant basic unit based on knowledge of subject main items that determine how the predicate term, exploring the link found in Descartes "I think", has formed a" comprehensive source of apperception unity "of the function of the transcendental ego.
康德哲学基于知识最基本单位主谓判断之主语项与谓语项如何连接起来而拓展了笛卡尔发现的我思，形成了具有统觉的本源的综合统一之机能的先验自我。 - Firstly, the definition and classification of null value was introduced. The null value and ways of handling it in SQL was also discussed in detail. Meanwhile, the influence on predicate, classifier, and aggregate function was analyzed deeply.
首先介绍了空值的定义、来源与分类；接着讨论了SQL语言中的空值、以及SQL语言在处理空值时存在的问题；同时探讨了空值对SQL谓词、量词、聚集函数的影响。 - There are four syntactic functions, the most important one of which is predicate function. The other three include adverbial function, complement function and attribute functions, which developed in modern Chinese.
其句法功能有四种，其中最重要的功能是谓语功能，其他句法功能包括状语功能，补语功能和定语功能，其中定语功能是在现代汉语中才发展出来的。